integration via weristrass substitution